This volume of TRS presents papers that introduce a number of new - vances in the foundations and applications of arti?cial ...
Lire la suiteThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suiteThe scope of book includes the sharing and interoperability of tools, the alignment of theory and practice, the identification ...
Lire la suite